Поиск в словарях
Искать во всех

Советский философский словарь - обращение

 

Обращение

обращение
(лат. conversio), преобразование предложения путём обмена местами его терминов субъекта и предиката. О. наз. простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицат. предложения (вида «Ни одно S не есть Р») и все частноутвердит. предложения (вида «Нек-рые S суть Р»). Общеутвердит. предложения (вида «Все S суть Р») обращаются с ограничением, т. е. их О., вообще говоря, даёт снова истинное предложение, если квантор «Все» заменяется квантором «Нек-рые». Частноотрицательные предложения (вида «Нек-рые S не суть Р») не обращаются: из того, что нек-рые люди не курящие, не следует, что нек-рые курящие не люди.

В традиц. логике О. относили к непосредств. умозаключениям. Последние выделялись в особую группу и правила для них формулировались наряду с правилами силлогизма. В совр. логике предикатов О. самостоят. значения не имеет, а правила О. в число правил логич. дедукции как таковые не входят. Это, однако, не умаляет эвристич. ценности О. для практики содержат. мышления.

В логике отношений, где с каждым отношением между терминами ? и у связывается понятие об отношении между терминами у и х, обратном первоначальному, О.это операция замены данного отношения обратным ему с одноврем. перестановкой терминов отношения.

Рейтинг статьи:
Комментарии:

См. в других словарях

1.
  принятие к.-л. вероисповедания как результат миссионер. деятельности. Вербовка адептов характерна для всех религ. направлений. Буддизм, христианство и ислам с момента своего возникновения ставили задачу О. всего человечества в их веру. ...
Атеистический словарь
2.
  (лат. conversio) в традиционной логике вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки на место предиката. Общая схема О. выглядит следующим образом: S есть Р. Р есть S. Напр., из суждения "Птицы есть позвоночные" мы путем О. получаем вывод "Позвоночные есть птицы". Общеутвердительные суждения "Все S есть Р" (типа A) обращаются в частноутвердительные "Некоторые Р есть S" (типа I), напр., суждение "Все рыбы дышат жабрами" обращается в суждение "Некоторые дышащие жабрами есть рыбы"; общеотрицательные суждения "Ни одно S не есть Р" (типа Е) обращаются в общеотрицательные "Ни одно Р не есть S" (типа Е), напр., суждение "Ни один кит не является рыбой" обращается в суждение "Ни одна рыба не есть кит"; частноутвердительные суждения "Некоторые S есть P" (типа I) обращаются в частноутвердительные "Некоторые Р есть S", напр., суждение "Некоторые металлы жидкости" обращается в суждение "Некоторые жидкости металлы"; наконец, из частноотрицательного суждения нельзя сделать вывод путем О. ...
Словарь по логике

Вопрос-ответ:

Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины